Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
221	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Model Theory of Differential Fields DAVID MARKER Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:51:15 Model theory Differential calculus Group theory Differential algebra Differentially closed field Algebraic topology Differential of a function Vector space Sheaf Abstract algebra Algebra Mathematics
222	[Pell, 1993] Barney Pell. Strategy Generation and Evaluation for Meta GamePlaying. PhD thesis, Computer Laboratory, University of Cambridge, 1993. Forthcoming. [Russell and Wefald, 1992] Stuart Russell and Eric Wefald. D Add to Reading List Source URL: www.barneypell.com Language: English - Date: 2009-12-15 09:27:32 Computing Abstract interpretation Prolog Model theory Patrick Cousot Logic programming Interpretation Abstract object Game theory Software engineering Programming language theory Abstraction
223	Efficient Noise-Tolerant Learning from Statistical Queries MICHAEL KEARNS AT&T Laboratories—Research, Florham Park, New Jersey Abstract. In this paper, we study the problem of learning in the presence of classificatio Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2003-04-11 14:26:30 Mathematics Formal sciences Cybernetics Computational learning theory Pattern recognition Information theory Decision tree model PP Logarithm Theoretical computer science Applied mathematics Machine learning
224	REACH - Realtime Crowd tracking using a Hybrid motion model Aniket Bera1 and Dinesh Manocha1 http://gamma.cs.unc.edu/REACH Abstract— We present a novel, real-time algorithm to extract the trajectory of each pedestrian Add to Reading List Source URL: gamma.cs.unc.edu Language: English - Date: 2015-03-02 16:31:26 Video tracking Particle filter Statistics Control theory Electronic engineering Robot control Mixed reality Tracking
225	µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:02 Mathematical logic Mathematical structures Model theory Algebraic logic Boolean algebra Finitary relation Structure Relational algebra Relation algebra Mathematics Algebra Abstract algebra
226	Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent Willard Rafnsson Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Recently, much progress has been made on a Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-29 05:32:43 Universal algebra Mathematics Models of computation Logic Automata theory Model theory Structure
227	Generation of verification conditions for Abadi and Leino’s Logic of Objects [Extended Abstract] Francis Tang ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:01 Model theory Metalogic Deduction First-order logic Predicate logic Euclidean algorithm Symbol Interpretation Function Logic Mathematics Mathematical logic
228	On the Emergence of a Binding Zero Lower Bound C.A. Ullersma∗ March 18, 2004 Abstract Overoptimism regarding productivity developments is often seen Add to Reading List Source URL: www.dnb.nl Language: English - Date: 2014-12-15 03:23:00 Interest rates Economic theories Inflation Credit channel Phillips curve Keynesian economics Business cycle IS/LM model Real business cycle theory Macroeconomics Economics Monetary policy
229	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus

UPDATE